Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
231	Using Sparse Parameter Estimation for Semantic Parsing Jiayu Zhou, Jieping Ye, Juraj Dzifcak, Chitta Baral Arizona State University Abstract. This paper addresses the problem of semantic parsing, by Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2014-08-13 15:12:22 Statistical theory Estimation theory Lambda calculus Representation theory of Lie algebras Weight Maximum likelihood Regularization Combinatory logic Applied mathematics Theoretical computer science Mathematics
232	The Program-Size Complexity of Self-Assembled Squares [Extended Abstract, Feb. 23, 2000] Paul W. K. Rothemund Erik Winfree Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:14 Tiling Combinatorics Integer sequences Theory of computation Wang tile Tile Tessellation L-system Combinatory logic Mathematics Visual arts Mosaic
233	AIAA JOURNAL Vol. 46, No. 10, October 2008 Parametric Reduced-Order Models for Probabilistic Analysis of Unsteady Aerodynamic Applications T. Bui-Thanh∗ and K. Willcox† Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2008-10-21 10:10:11 Regression analysis Data analysis Computational fluid dynamics Navier–Stokes equations Least squares Principal component analysis Parameter space Combinatorics Combinatory logic Statistics Mathematics Mathematical optimization
234	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-07-16 15:34:12 Category theory Group action Group theory Symmetry Camera lens Heap Functor Combinatory logic Surjective function Mathematics Abstract algebra Mathematical analysis
235	Microsoft Word - IBS[removed]AI NNets, Gene, NLP.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:45:45 Philosophy of mathematics Tic-tac-toe Function First-order logic Combinatory logic Economic model Model theory Random access machine Mathematics Mathematical logic Logic
236	The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL Chitta Baral1 , Marcos Alvarez Gonzalez1 , and Aaron Gottesman1 School of Computing, Inf Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 21:47:51 Mathematical logic Type theory Logic in computer science Theory of computation Predicate logic Combinatory logic Simply typed lambda calculus Type constructor First-order logic Theoretical computer science Lambda calculus Mathematics
237	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-08-17 20:58:29 Formal methods Computability theory Models of computation Tuple Type theory Lambda calculus Combinatory logic HO Categorial grammar Mathematics Theoretical computer science Mathematical notation
238	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 Solution Toby Murray August 27, 2014 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Constructible universe Unification Free variables and bound variables Combinatory logic Fixed-point combinator Theoretical computer science Mathematics Mathematical logic
239	E cient Agnostic Learning of Neural Networks with Bounded Fan-in Wee Sun Leey, Student Member, IEEE Peter L. Bartlettz, Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2005-03-22 04:22:20 Applied mathematics Universal approximation theorem Feedforward neural network Convex function Combinatory logic Artificial neural network Perceptron Neural networks Mathematics Mathematical analysis
240	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages Chitta Baral Faculty of Computer Science and Engineering Arizona State University Tempe, AZ[removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:53 Logic in computer science Lambda calculus Models of computation Representation theory of Lie groups Computability theory Combinatory logic Knowledge representation and reasoning Natural language processing Ordinal number Theoretical computer science Mathematical logic Mathematics

UPDATE